Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
411	An Extensible Toolkit for Computational Semantics Dan Garrette Ewan Klein October 3, 2009 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-12 20:53:04 Formal languages Semantics Predicate logic Theoretical computer science Model theory Discourse representation theory First-order logic Earley parser Prover9 Logic Mathematics Science
412	Elements of a Computational Theory of Location Werner Kuhn Institute for Geoinformatics University of Münster Robert-Koch-Str[removed], D[removed]Münster, Germany Tel. +[removed], Fax +[removed] Add to Reading List Source URL: www.agile-online.org Language: English - Date: 2004-03-14 13:52:02 Logic Information science Knowledge representation Technical communication Cartography Mereology Ontology Web Ontology Language Localization Semantic Web Science Information
413	How Do Cultural Numerical Concepts Build Upon an Evolved Number Sense? Helen De Cruz ([removed]) Centre for Logic and Philosophy of Science, Free University of Brussels, Pleinlaan[removed]Brussels, Belgium Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2013-10-08 12:52:08 Cognitive science Mathematical notation Numerical cognition Computational neuroscience Number Neural network Modularity Module Numeral system Mathematics Elementary arithmetic Mathematics education
414	14th Congress of Logic, Methodology and Philosophy of Science Nancy[removed]Abstracts, p[removed]Algebras of the Mind and Algebras of the Brain Add to Reading List Source URL: www.math.ethz.ch Language: English - Date: 2011-08-16 05:25:34 Nervous system Computational neuroscience Neural networks Neural coding Neuron Brain Combinatory logic Cellular neuroscience Neural correlate Mind Science Neuroscience
415	Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets Erwin Engeler Department of Mathematics, Federal Institute of Technology, Add to Reading List Source URL: www.math.ethz.ch Language: English - Date: 2010-02-08 03:56:07 Network architecture Networks Science Neuroscience Econometrics Artificial neuron Neural correlate Combinatory logic Neural networks Computational neuroscience Cybernetics
416	Microsoft Word - Rvised_Manuscript_Figures.doc Add to Reading List Source URL: dspace.nitrkl.ac.in Language: English - Date: 2010-04-12 16:40:34 Artificial intelligence Cybernetics Computational neuroscience Woodworking Fuzzy logic Fuzzy control system Drilling Neuro-fuzzy Drill Technology Neural networks Science
417	On the Unusual Effectiveness of Logic in Computer Science Joseph Y. Halperny Robert Harperz Neil Immermanx Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2009-01-20 18:28:40 Finite model theory Complexity classes Computational complexity theory Descriptive complexity Model theory FO Descriptive complexity theory Relational algebra SO Theoretical computer science Mathematics Applied mathematics
418	Available online at www.sciencedirect.com Procedia Computer Science[removed] – 54 Proceedings of the 3rd International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2012) Add to Reading List Source URL: www.openwetware.org Language: English - Date: 2012-12-12 14:13:55 Electronics Flip-flop Electrical engineering Hardware description languages Counter Verilog Logic gate Sequential logic Random-access memory Digital electronics Electronic engineering Computer memory
419	A Formal Representation of the WHO and UNICEF Estimates of National Immunization Coverage: A Computational Logic Approach Anthony Burton1, Robert Kowalski2, Marta Gacic-Dobo1, Rouslan Karimov3, David Brown3 1 Department Add to Reading List Source URL: www.childinfo.org Language: English* - Date: 2012-11-06 12:11:48 United States Agency for International Development Prolog Confidence interval Logic programming Inference engine Statistics Bioinformatics Demographic and Health Surveys
420	Microsoft Word - Rvised_Manuscript_Figures.doc Add to Reading List Source URL: dspace.nitrkl.ac.in Language: English - Date: 2010-04-12 16:40:34 Artificial intelligence Cybernetics Computational neuroscience Woodworking Fuzzy logic Fuzzy control system Drilling Neuro-fuzzy Drill Technology Neural networks Science

UPDATE